<html>
<head><meta charset="utf-8"><title>Merge wg-async-foundations#132 · wg-async-foundations · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/index.html">wg-async-foundations</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/Merge.20wg-async-foundations.23132.html">Merge wg-async-foundations#132</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="234218833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/Merge%20wg-async-foundations%23132/near/234218833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/Merge.20wg-async-foundations.23132.html#234218833">(Apr 12 2021 at 19:47)</a>:</h4>
<p>I'd like to merge <a href="https://github.com/rust-lang/wg-async-foundations/issues/132">wg-async-foundations#132</a> -- <span class="user-mention" data-user-id="224872">@rylev</span> you're the only other person with a number of comments, are you satisfied?</p>



<a name="234218908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/Merge%20wg-async-foundations%23132/near/234218908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/Merge.20wg-async-foundations.23132.html#234218908">(Apr 12 2021 at 19:47)</a>:</h4>
<p>I did leave a few nits for <span class="user-mention" data-user-id="390656">@Erich</span> pertaining to the rename, but I could do that myself in the GH web UI if they don't get to it</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>